VDict mobile



higher order not found. Suggestions:

higher-order macro
HOL
Lambda Prolog
OBJ
first-order
Quest
first-order logic
LNF
BABEL
CHOCS